(0 19 7)(1 18 4)(2 8 5)(3 20 9)(6 12 10)(11 15 13)(14 17 16)
ALLOWS (11/8)-SEQUENCE
1: (9 11 20)

(0 19 7)(1 18 4)(2 8 5)(3 20 15 13 11)(6 12 10)(9)(14 17 16)
2: (6 12 10)

(0 19 7)(1 18 4)(2 8 5)(3 20 15 13 11)(6)(9)(10)(12)(14 17 16)
3: (3 13 11)

(0 19 7)(1 18 4)(2 8 5)(3)(6)(9)(10)(11)(12)(13 20 15)(14 17 16)
4: (0 19 7)

(0)(1 18 4)(2 8 5)(3)(6)(7)(9)(10)(11)(12)(13 20 15)(14 17 16)(19)